1. Reasoning in Boolean networks: logic synthesis and verification using testing techniques

پدیدآورنده :

کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)

موضوع : ، Integrated circuits-- Very large scale integration-- Testing-- Data processing,، Integrated circuits-- Verification-- Data processing,، Logic design-- Data processing

رده :
TK
7874
.
K866
1997